PLATFORM_FLAVOR = "s32g2"
BRANCH ?= "release/SW32G_IPCF_4.9.0_D2310_XEN"
SRCREV ?= "c196b54d1fe170c7449664d9d4652a4fd93bf467"
